1.

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

2. Intuitionistic logic, modlel theory and forcing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Model theory,Axiomatic set theory

رده :
511
.
8
F547

3. Proof methods for modal and intuitionistic logics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.

رده :
QA9
.
54
M458
2010